M. Brezocnik: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Multi-objective optimization of production scheduling with evolutionary computation: A review

Ojstersek, Robert, Brezocnik, Miran, Buchmeister, Borut

Journal:

International Journal of Industrial Engineering Computations

Year:

2020

File:

PDF, 559 KB

2020

2

Evolutionary programming of CNC machines

M. Kovacic, M. Brezocnik, I. Pahole, J. Balic, B. Kecelj

Journal:

Journal of Materials Processing Technology

Year:

2005

Language:

english

File:

PDF, 780 KB

english, 2005

3

Emergence of intelligence in next-generation manufacturing systems

Miran Brezocnik, Joze Balic, Zmago Brezocnik

Journal:

Robotics and Computer-Integrated Manufacturing

Year:

2003

Language:

english

File:

PDF, 158 KB

english, 2003

4

[IEEE 2005 Proceedings of the 8th International Conference on Telecommunications - Zagreb, Croatia (2005.6.15-2005.6.17)] Proceedings of the 8th International Conference on Telecommunications, 2005. ConTEL 2005. - Toward automatic generation of promela models from SDL specification

Vlaovic, B., Vreze, A., Brezocnik, Z., Kapus, T.

Year:

2005

Language:

english

File:

PDF, 169 KB

english, 2005

5

Solving the job-shop scheduling problem with a simple genetic algorithm

Lestan, Z., Brezocnik, M., Buchmeister, B., Brezovnik, S., Balic, J.

Journal:

International Journal of Simulation Modelling

Year:

2009

Language:

english

File:

PDF, 333 KB

english, 2009

6

Classifying Parkinson’s Disease Based on Acoustic Measures Using Artificial Neural Networks

Berus, Lucijano, Klancnik, Simon, Brezocnik, Miran, Ficko, Mirko

Journal:

Year:

2018

Language:

english

File:

PDF, 3.34 MB

english, 2018

7

Formal hardware specification and verification using prolog

Z. Brezočnik, B. Horvat

Journal:

Microprocessing and Microprogramming

Year:

1989

Language:

english

File:

PDF, 652 KB

english, 1989

8

ACTLW – An action-based computation tree logic with unless operator

Robert Meolic, Tatjana Kapus, Zmago Brezočnik

Journal:

Information Sciences

Year:

2008

Language:

english

File:

PDF, 661 KB

english, 2008

9

Evolutionary approach for cutting forces prediction in milling

M. Kovacic, J. Balic, M. Brezocnik

Journal:

Journal of Materials Processing Technology

Year:

2004

Language:

english

File:

PDF, 157 KB

english, 2004

10

Prediction of surface roughness with genetic programming

M. Brezocnik, M. Kovacic, M. Ficko

Journal:

Journal of Materials Processing Technology

Year:

2004

Language:

english

File:

PDF, 133 KB

english, 2004

11

Designing the layout of single- and multiple-rows flexible manufacturing system by genetic algorithms

M. Ficko, M. Brezocnik, J. Balic

Journal:

Journal of Materials Processing Technology

Year:

2004

Language:

english

File:

PDF, 175 KB

english, 2004

12

Prediction of total manufacturing costs for stamping tool on the basis of CAD-model of finished product

M. Ficko, I. Drstvenšek, M. Brezočnik, J. Balič, B. Vaupotic

Journal:

Journal of Materials Processing Technology

Year:

2005

Language:

english

File:

PDF, 133 KB

english, 2005

13

Velocity anisotropy of an industrial robot

Karl Gotlih, Denis Kovac, Tomaz Vuherer, Simon Brezovnik, Miran Brezocnik, Andrejka Zver

Journal:

Robotics and Computer-Integrated Manufacturing

Year:

2011

Language:

english

File:

PDF, 1.14 MB

english, 2011

14

Verification of XTP context management closing procedure in style of TLA

Tatjana Kapus, Zmago Brezočnik

Journal:

Science of Computer Programming

Year:

1997

Language:

english

File:

PDF, 2.17 MB

english, 1997

15

Predicting defibrillation success by ‘genetic’ programming in patients with out-of-hospital cardiac arrest

M. Podbregar, M. Kovačič, A. Podbregar-Marš, M. Brezocnik

Journal:

Year:

2003

File:

PDF, 453 KB

2003

16

Modeling of forming efficiency using genetic programming

M. Brezocnik, J. Balic, Z. Kampus

Journal:

Journal of Materials Processing Technology

Year:

2001

Language:

english

File:

PDF, 207 KB

english, 2001

17

Predicting stress distribution in cold-formed material with genetic programming

M. Brezocnik, L. Gusel

Journal:

The International Journal of Advanced Manufacturing Technology

Year:

2004

Language:

english

File:

PDF, 352 KB

english, 2004

18

Effect of lubrication on the stress distribution in an extruded material

Leo Gusel, Ivan Anžel, Miran Brezocnik

Journal:

The International Journal of Advanced Manufacturing Technology

Year:

2005

Language:

english

File:

PDF, 493 KB

english, 2005

19

A genetic-based approach to simulation of self-organizing assembly

Miran Brezocnik, Joze Balic

Journal:

Robotics and Computer-Integrated Manufacturing

Year:

2001

Language:

english

File:

PDF, 186 KB

english, 2001

20

Microcomputer unit for control of distributed devices over computer networks

Gregor Vrečko, Zmago Brezočnik, Tatjana Kapus, Bogomir Horvat, Andrej Duh

Journal:

Journal of Systems Architecture

Year:

1997

Language:

english

File:

PDF, 688 KB

english, 1997

21

Genetic programming approach to determining of metal materials properties

Miran Brezocnik, Joze Balic, Karl Kuzman

Journal:

Journal of Intelligent Manufacturing

Year:

2002

Language:

english

File:

PDF, 623 KB

english, 2002

22

The modelling of porous properties regarding PES/CV-blended nonwoven wipes

P. D. Dubrovski, M. Brezocnik

Journal:

Fibers and Polymers

Year:

2012

Language:

english

File:

PDF, 290 KB

english, 2012

23

Automated generation of Promela model from SDL specification

Boštjan Vlaovič, Aleksander Vreže, Zmago Brezočnik, Tatjana Kapus

Journal:

Computer Standards & Interfaces

Year:

2007

Language:

english

File:

PDF, 928 KB

english, 2007

24

Sdl2pml — Tool for automated generation of Promela model from SDL specification

Aleksander Vreže, Boštjan Vlaovič, Zmago Brezočnik

Journal:

Computer Standards & Interfaces

Year:

2009

Language:

english

File:

PDF, 1.18 MB

english, 2009

25

Application of genetic programming for modelling of material characteristics

Leo Gusel, Miran Brezocnik

Journal:

Expert Systems with Applications

Year:

2011

Language:

english

File:

PDF, 368 KB

english, 2011

26

Intelligent design of an unconstrained layout for a flexible manufacturing system

Mirko Ficko, Simon Brezovnik, Simon Klancnik, Joze Balic, Miran Brezocnik, Ivo Pahole

Journal:

Year:

2010

Language:

english

File:

PDF, 498 KB

english, 2010

27

Modeling of impact toughness of cold formed material by genetic programming

Leo Gusel, Miran Brezocnik

Journal:

Computational Materials Science

Year:

2006

Language:

english

File:

PDF, 146 KB

english, 2006

28

Turning Parameters Optimization Using Particle Swarm Optimization

Marko, Hrelja, Simon, Klancnik, Tomaz, Irgolic, Matej, Paulic, Joze, Balic, Miran, Brezocnik

Journal:

Procedia Engineering

Year:

2014

Language:

english

File:

PDF, 616 KB

english, 2014

29

Programming of CNC Milling Machines Using Particle Swarm Optimization

Klancnik, Simon, Brezocnik, Miran, Balic, Joze, Karabegovic, Isak

Journal:

Materials and Manufacturing Processes

Year:

2013

Language:

english

File:

PDF, 622 KB

english, 2013

30

Prediction of the water absorption capacity of VIS/PES needle-punched webs using genetic algorithms

P. D. Dubrovski,M. Brezocnik

Journal:

Fibers and Polymers

Year:

2014

Language:

english

File:

PDF, 574 KB

english, 2014

31

[IEEE Comput. Soc. Press [1991] Advanced Computer Technology, Reliable Systems and Applications - Bologna, Italy (13-16 May 1991)] [1991] Proceedings, Advanced Computer Technology, Reliable Systems and Applications - A functional-based approach to formal VLSI design verification

Brezocnik, Z., Horvat, B.

Year:

1991

Language:

english

File:

PDF, 525 KB

english, 1991

32

Genetic Algorithm Rolling Mill Layout Optimization

Kovačič, Miha, Rožej, Urban, Brezočnik, Miran

Journal:

Materials and Manufacturing Processes

Year:

2013

Language:

english

File:

PDF, 613 KB

english, 2013

33

Evolutionary Algorithm Approaches to Modeling of Flow Stress

Brezocnik, Miran, Buchmeister, Borut, Gusel, Leo

Journal:

Materials and Manufacturing Processes

Year:

2011

Language:

english

File:

PDF, 262 KB

english, 2011

34

[ACM Press the 2014 International SPIN Symposium - San Jose, CA, USA (2014.07.21-2014.07.23)] Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 - SpinRCP: the eclipse rich client platform integrated development environment for the spin model checker

Brezočnik, Zmago, Vlaovič, Boštjan, Vreže, Aleksander

Year:

2014

Language:

english

File:

PDF, 539 KB

english, 2014

35

[Univ. Zagreb ITI 2002. 24th International Conference on Information Technology Interfaces - Cavtat, Croatia (24-27 June 2002)] ITI 2002. Proceedings of the 24th International Conference on Information Technology Interfaces (IEEE Cat. No.02EX534) - Video production for distance education

Dugonik, B., Brezocnik, Z., Debevc, M.T.

Year:

2002

Language:

english

File:

PDF, 581 KB

english, 2002

36

[IEEE Comput. Soc EUROMICRO 97. 23rd EUROMICRO Conference: New Frontiers of Information Technology (Cat. No.97TB100167) - Budapest, Hungary (1-4 Sept. 1997)] EUROMICRO 97. Proceedings of the 23rd EUROMICRO Conference: New Frontiers of Information Technology (Cat. No.97TB100167) - TLA-style specification of a mobile network

Kapus, T., Brezocnik, Z.

Year:

1997

Language:

english

File:

PDF, 844 KB

english, 1997

37

[IEEE Comput. Soc. Press [Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools - Brussels, Belgium (11-14 April 1988)] [Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools - Tool for system design verification

Brezocnik, Z., Horvat, B., Gerkes, M.

Year:

1988

Language:

english

File:

PDF, 537 KB

english, 1988

38

[IEEE 2003 IEEE International Conference on Industrial Technology - Maribor, Slovenia (10-12 Dec. 2003)] IEEE International Conference on Industrial Technology, 2003 - Genetic algorithm approach for autonomous vehicles

Kovacic, M., Balic, J., Brezocnik, M.

Year:

2003

Language:

english

File:

PDF, 262 KB

english, 2003

39

[IEEE EUROCON'2001. International Conference on Trends in Communications. Technical Program, Proceedings - Bratislava, Slovakia (4-7 July 2001)] EUROCON'2001. International Conference on Trends in Communications. Technical Program, Proceedings (Cat. No.01EX439) - CTL and ACTL patterns

Meolic, R., Kapus, T., Brezocnik, Z.

Year:

2001

Language:

english

File:

PDF, 437 KB

english, 2001

40

Comparison Between Genetic Algorithm and Genetic Programming Approach for Modeling the Stress Distribution

Brezocnik, Miran, Kovacic, Miha, Gusel, Leo

Journal:

Materials and Manufacturing Processes

Year:

2005

Language:

english

File:

PDF, 150 KB

english, 2005

41

[IEEE Comput. Soc. Press European Design and Test Conference - Paris, France (11-14 March 1996)] Proceedings ED&TC European Design and Test Conference - Exploiting partitioned transition relations for efficient symbolic model checking in CTL

Casar, A., Brezocnik, Z., Kapus, T.

Year:

1996

Language:

english

File:

PDF, 119 KB

english, 1996

42

Modeling of Hot Yield Stress Curves for Carbon Silicon Steel by Genetic Programming

Kovacic, Miha, Brezocnik, Miran, Turk, Radomir

Journal:

Materials and Manufacturing Processes

Year:

2005

Language:

english

File:

PDF, 524 KB

english, 2005

43

Integrated Genetic Programming and Genetic Algorithm Approach to Predict Surface Roughness

Brezocnik, Miran, Kovacic, Miha

Journal:

Materials and Manufacturing Processes

Year:

2003

Language:

english

File:

PDF, 638 KB

english, 2003

44

Prediction of the Bending Capability of Rolled Metal Sheet by Genetic Programming

Kovacic, Miha, Uratnik, Peter, Brezocnik, Miran, Turk, Radomir

Journal:

Materials and Manufacturing Processes

Year:

2007

Language:

english

File:

PDF, 290 KB

english, 2007

45

Optimization of an Automated Storage and Retrieval Systems by Swarm Intelligence

Brezovnik, Simon, Gotlih, Janez, Balič, Jože, Gotlih, Karl, Brezočnik, Miran

Journal:

Procedia Engineering

Year:

2015

Language:

english

File:

PDF, 1.02 MB

english, 2015

46

Using Genetic Programming to Predict the Macroporosity of Woven Cotton Fabrics

Dubrovski, P. D., Brezocnik, M.

Journal:

Textile Research Journal

Year:

2002

Language:

english

File:

PDF, 562 KB

english, 2002

47

Modelling of a Turning Process Using the Gravitational Search Algorithm

Hrelja, M., Klancnik, S., Balic, J., Brezocnik, M.

Journal:

International Journal of Simulation Modelling

Year:

2014

Language:

english

File:

PDF, 952 KB

english, 2014

48

Genetic Based Approach to Predicting the Elongation of Drawn Alloy

Gusel, L., Rudolf, R., Brezocnik, M.

Journal:

International Journal of Simulation Modelling

Year:

2015

Language:

english

File:

PDF, 516 KB

english, 2015

49

Particle swarm optimization approach for modelling a turning process

Hrelja, M., Klancnik, S., Irgolic, T., Paulic, M., Jurkovic, Z., Balic, J., Brezocnik, M.

Journal:

Advances in Production Engineering & Management

Year:

2014

Language:

english

File:

PDF, 584 KB

english, 2014

50

AUTOMATIC FORMAL VERIFICATION OF DIGITAL SYSTEMS USING PROLOG

Brezocnik, Zmago, Horvat, Bogomir

Journal:

ACM SIGCHI Bulletin

Year:

1988

Language:

english

File:

PDF, 193 KB

english, 1988

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски